Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
91	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
92	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
93	Fact Sheet DISTRIBUTION INTEGRITY MANAGEMENT PROGRAM (DIMP) Intergraph® Solutions Streamline DIMP Implementation, Management In December 2009, the U.S. Department of Transportation’s Add to Reading List Source URL: www.intergraph.com Language: English - Date: 2010-08-26 16:37:59 Geographic information system Science GIS software Intergraph Pipeline and Hazardous Materials Safety Administration
94	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
95	Planning and managing the safety lifecycle for Defence StandardIssue 4 10th-12th July 2012, London Add to Reading List Source URL: www.adelard.com Language: English - Date: 2015-03-27 11:50:03 Hazard analysis ALARP System safety Functional Safety Software system safety Safety Security Prevention
96	RTI Connext DDS Secure Secure Messaging for Intelligent Machines RTI Connext™ DDS Secure provides the world’s first off-the-shelf messaging platform that delivers the security, performance and safety required for dep Add to Reading List Source URL: www.rti.com Language: English - Date: 2015-04-10 15:34:03 Data distribution service Security Computing Authentication OpenSplice DDS Middleware System software Real-Time Innovations
97	EÆ ient Inferen e of Stati ? Types for Java Byte ode Etienne M. Gagnon, Laurie J. Hendren and Guillaume Mar eau Sable Resear h Group, S hool of Computer S ien e M Gill University, Montreal, Canada [gagnon,hendren,gmar e Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:57:33 Computing Primitive types Programming language theory Compiler construction Static single assignment form Type system String Byte Type safety Data types Software engineering Type theory
98	Operation Manual FT1020G3 Rev 2.1 For Software V2.1.X Add to Reading List Source URL: brooks.co.nz Language: English - Date: 2014-10-09 19:35:05 Detectors Smoke detector Fire alarm system Manual fire alarm activation Fire alarm control panel Safety Active fire protection Alarms
99	RTI Connext DDS Cert Certifiable Messaging Middleware for Safety-Critical Systems Reduce the time, cost and risk required to develop, integrate and certify your safetycritical distributed applications. Connext™ DDS Cer Add to Reading List Source URL: www.rti.com Language: English - Date: 2015-04-10 15:34:03 Computing Embedded operating systems Real-time operating systems Real-Time Innovations Data distribution service VxWorks Operating system Microcontroller System software Middleware Computer architecture
100	Summary Report: TESTBED Windows 2012 Server System: Analysis Date: PROMETHEUS (OLYMPUS) 06-Nov-2013 Add to Reading List Source URL: www.sekchek.com Language: English - Date: 2013-11-13 07:27:39 Microsoft Windows Windows Windows Vista Computer architecture Computer security Security and safety features new to Windows Vista System software Password Software

UPDATE